<?php

class StackTerminator
{
	public function __toString ()
	{
		return CliParser::TERMINATOR;
	}
}

?>